Альтернативное доказательство априорной $\operatorname{tg}\Theta$-теоремы
نویسندگان
چکیده
منابع مشابه
Supercompiler HOSC 1.1: proof of termination
The paper contributes the proof of termination of an experimental supercom-piler HOSC dealing with higher-order functions. В работе приводится доказательство завершаемости экпериментального суперкомпилятора HOSC, работающего с функциями высших порядков.
متن کاملKeldysh Institute preprints • Preprint No . 31 , 2010
The paper presents the proof of correctness of an experimental supercompiler HOSC dealing with higher-order functions. В работе приводится доказательство корректности экспериментального суперкомпилятора HOSC, работающего с функциями высших порядков.
متن کاملSupercompiler HOSC: proof of correctness
The paper presents the proof of correctness of an experimental supercompiler HOSC dealing with higher-order functions. В работе приводится доказательство корректности экспериментального суперкомпилятора HOSC, работающего с функциями высших порядков.
متن کاملSimultaneously Dissipative Operators and the Infinitesimal Wrapping Effect in Interval Spaces
Работа посвящена приложениям теории совместно диссипативных операторов к интервальному анализу и химической кинетике. Главным объектом исследования является нежелательный “эффект упаковывания”, широко проявляющийся при численном решении на ЭВМ эволюционных дифференциальных уравнений с интервальными параметрами. Основной результат работы — доказательство типичности эффекта упаковывания в малом, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Теоретическая и математическая физика
سال: 2016
ISSN: 0564-6162,2305-3135
DOI: 10.4213/tmf8993